Filters








248,218 Hits in 2.4 sec

Interfaces and extended ML

Stefan Kahrs, Donald Sannella, Andrzej Tarlecki
1994 SIGPLAN notices  
The position espoused is inspired by our work on the Extended ML (EML) formal software development framework and by ideas in the algebraic foundations of speci cation and formal development.  ...  This is a position paper giving our views on the uses and makeup of module interfaces.  ...  Interfaces containing such logical information play a central role in frameworks for speci cation and formal development of modular systems such as Extended ML (EML) ST85].  ... 
doi:10.1145/185087.185113 fatcat:pvo2grvklrf2zi2iohgkznnxei

Interfaces and extended ML

Stefan Kahrs, Donald Sannella, Andrzej Tarlecki
1994 Proceedings of the Workshop on Interface Definition Languages - IDL '94  
The position espoused is inspired by our work on the Extended ML (EML) formal software development framework and by ideas in the algebraic foundations of speci cation and formal development.  ...  This is a position paper giving our views on the uses and makeup of module interfaces.  ...  Interfaces containing such logical information play a central role in frameworks for speci cation and formal development of modular systems such as Extended ML (EML) ST85].  ... 
doi:10.1145/185084.185113 dblp:conf/idl/KahrsST94 fatcat:vetykm3ibna4fmiewxu3l7fl6u

Evolution of the Interfacial Structure ofLaAlO3onSrTiO3

S. A. Pauli, S. J. Leake, B. Delley, M. Björck, C. W. Schneider, C. M. Schlepütz, D. Martoccia, S. Paetel, J. Mannhart, P. R. Willmott
2011 Physical Review Letters  
The interfaces of films thinner than four monolayers therefore extend to the surface, which might affect conductivity.  ...  Significant cationic intermixing across the interface extends approximately three monolayers for all film thicknesses.  ...  The interfaces of the 2-and 3-ML samples hence extend to the surface, which may influence the electronic properties.  ... 
doi:10.1103/physrevlett.106.036101 pmid:21405282 fatcat:3apw742if5asnfj4xojcxxxp4e

Extended ML: Past, present and future [chapter]

Donald Sannella, Andrzej Tarlecki
1991 Lecture Notes in Computer Science  
An overview of past, present and future work on the Extended ML formal program development framework is given, with emphasis on two topics of current active research: the semantics of the Extended ML speci  ...  cation language, and tools to support formal program development.  ...  Science and Engineering Research Council, ESPRIT, and the Wolfson Foundation.  ... 
doi:10.1007/3-540-54496-8_16 fatcat:tgiqdypc25e3hkhvkcyhvkmare

Toward formal development of ML programs: Foundations and methodology [chapter]

Donald Sannella, Andrzej Tarlecki
1989 Lecture Notes in Computer Science  
A methodology is presented for the formal development of modular Standard ML programs from specifications.  ...  Program development proceeds via a sequence of design (modular decomposition), coding and refinement steps.  ...  Extended ML enhances Standard ML by allowing more information in module interfaces (axioms in ML signatures) and less information in module bodies (axioms in place of code in ML structures/functors).  ... 
doi:10.1007/3-540-50940-2_48 fatcat:iekizpfyvzbdzpdwfeh57gj3si

Studying the ML module system in HOL

E. Gunter
1995 Computer journal  
We relate these two semantics by embeddings and projections and outline how we are using these to state and prove that the new evaluation relations conservatively extend the old ones.  ...  We extend this to a possible dynamic semantics for a Module system with higher order functors.  ...  Here we describe these rules: 4 Relating Mod-ML and HOF-ML So far we have described the encoding of two possible Module systems to extend the Core language of Standard ML.  ... 
doi:10.1093/comjnl/38.2.142 fatcat:lq4nbgznc5detnhneadpa4nz3q

Studying the ML module system in HOL [chapter]

Savi Maharaj, Elsa Gunter
1994 Lecture Notes in Computer Science  
We relate these two semantics by embeddings and projections and outline how we are using these to state and prove that the new evaluation relations conservatively extend the old ones.  ...  We extend this to a possible dynamic semantics for a Module system with higher order functors.  ...  Here we describe these rules: 4 Relating Mod-ML and HOF-ML So far we have described the encoding of two possible Module systems to extend the Core language of Standard ML.  ... 
doi:10.1007/3-540-58450-1_53 fatcat:ivu3xgb46rgazakwzypyhyg4iy

Explicit and Implicit Extended MLS Difference Methods for Stefan Problems

Y.C. Yoon
2011 Procedia Engineering  
This paper presents the explicit and implicit extended moving least squares (MLS) difference methods for solving 1-D Stefan problem.  ...  In the MLS difference method, Taylor polynomial is extended by adding wedge function that exhibit the normal derivative jump.  ...  Extended MLS Approximation for Interfacial Solution In one dimensional case, for a given function ( ) ( ) m u C x , m-th order Taylor polynomial removing the high order terms at an arbitrary position y  ... 
doi:10.1016/j.proeng.2011.07.346 fatcat:mmacqeerajhxtncam5ds3mewzy

Can open flow make transport networks smarter and dynamic? An overview on transport SDN

Rodolfo Alvizu, Guido Maier
2014 2014 International Conference on Smart Communications in Network Technologies (SaCoNeT)  
Transport SDN can boost the programmability and scalability of the network, increase the network intelligence and allow for dynamic resource allocation and restoration.  ...  We show how OpenFlow can be enabled in current and future network devices through agents and new hardware respectively.  ...  We expect a continuous growth on the number of transport SDN proposals, impulsed by the current momentum of SDN, and the support by academy, vendors, service providers and other bodies like IETF.  ... 
doi:10.1109/saconet.2014.6867771 fatcat:sctcmj7ozbfgrhlbd4tmwkwczq

An extension of standard ML modules with subtyping and inheritance

John Mitchell, Sigurd Meldal, Neel Madhav
1991 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '91  
The framework is based on the Standard ML module system, with three main extensions: subtyping, a form of object derived from ML structures, and inheritance primitives.  ...  In order to support binary operations on objects within this framework, we introduce "internal interfaces" which govern the way that function components of one structure may access components of another  ...  Meldal and John Mitchell.  ... 
doi:10.1145/99583.99620 dblp:conf/popl/MitchellMM91 fatcat:3cp2fljfijd4zmjwushwxelccu

Quantum wells with atomically smooth interfaces

Masahiro Yoshita, Hidefumi Akiyama, Loren N. Pfeiffer, Ken W. West
2002 Applied Physics Letters  
hetero-interfaces without atomic roughness.  ...  Micro-photoluminescence imaging of this quantum well indeed shows spatially uniform and spectrally sharp emission over areas of several tens of μm in extent.  ...  Part of this research in Japan is supported by the Ministry of Education, Culture, Sports, Science and Technology, Japan.  ... 
doi:10.1063/1.1490144 fatcat:kcmi7lfrfrccto2fg6dif4iuv4

Solubilization of polar oils with extended surfactants

Matilde Miñana-Perez, Alain Graciaa, Jean Lachaise, Jean-Louis Salager
1995 Colloids and Surfaces A: Physicochemical and Engineering Aspects  
The so-called extended surfactant has a poly-propylene oxide chain inserted in between the conventional alkyl and ether sulfate groups.  ...  Outstanding values of the optimum solubilization parameter are reached (in the 10-30 ml g range).  ...  The authors would like to extend their appreciation to Elf-Aquitaine for backing the LTEMPM research effort in the past years.  ... 
doi:10.1016/0927-7757(95)03186-h fatcat:xn4fndkdxrfdbo4pa6jehnmkx4

Design Principles and Coupling Mechanisms in the 2D Quantum Well Topological InsulatorHgTe/CdTe

Jun-Wei Luo, Alex Zunger
2010 Physical Review Letters  
: one derived from the S-like À 6c and one derived from the P-like À 8v light hole, not because of the crossing of an interface state and an extended quantum well state.  ...  We find that the transitions from a topological insulator at critical HgTe thickness of n ¼ 23 ML (62.5 Å ) to a normal insulator at smaller n is due to the crossing between two interface-localized states  ...  states I1 e ðÀ 6c Þ and I2 lh ðLHÞ and not because of the crossing of the extended QW HH1 and interface state E1 as previously thought [1, 2, 8, 25] .  ... 
doi:10.1103/physrevlett.105.176805 pmid:21231069 fatcat:s2dtcnjonrdfnphhag6sufbzti

The PROSPER Toolkit [chapter]

Louise A. Dennis, Graham Collins, Michael Norrish, Richard Boulton, Konrad Slind, Graham Robinson, Mike Gordon, Tom Melham
2000 Lecture Notes in Computer Science  
The PROSPER (Proof and Specification Assisted Design Environments) project  ...  HOL's command language is ML [5] (a strict functional programming language) extended with HOL's own theorem proving functions which extend ML to include the language of higher order logic [1] .  ...  The format for APIs is: interface <name> [extends <name1> [<name2> [...]]] where items in square brackets are optional, and items in angle brackets should be replaced with something appropriate.  ... 
doi:10.1007/3-540-46419-0_7 fatcat:6nfozuxleffdjmculek466p2du

Orientational tuning of the 2D-superconductivity in LaAlO3/SrTiO3 interfaces [article]

G. Herranz, N. Bergeal, J. Lesueur, J. Gazquez, M. Scigaj, N. Dix, F. Sanchez, J. Fontcuberta
2013 arXiv   pre-print
the (110)-oriented interface with respect to their (001)-counterparts  ...  The discovery of a two-dimensional (2D) electron gas at the (110)-oriented LaAlO3/SrTiO3 in- terface provided us with the opportunity to probe the effect of crystallographic orientation and the ensuing  ...  The interfaces with t < 7 MLs were found to be insulating or poorly conductive, while interfaces with t ≥ 7 MLs were metallic.  ... 
arXiv:1305.2411v1 fatcat:jwy7kfn4ufgfbhcf4xhqgmmjzm
« Previous Showing results 1 — 15 out of 248,218 results